I now see the Olimex STM32-E407 on ebay.
I decided to buy an Olimex STM32-H407 instead since it costs less but has what I need.https://www.olimex.com/dev/stm32-h407.html
I got one on ebay with 5-7 business day shipping to the U.S. for £27.95 GBP or $44.99 with PayPal's 2.5% extra exchange rate.
Here is the difference between boards:
The major difference between STM32-H407 and STM32-E407 is that the latter has built-in Ethernet (physical level transceiver Micrel - Micrel datasheet). STM32-E407 also features an extra USB-OTG and a number of SMD jumpers on the bottom which help the user to control the multiplexing on some pins easier. STM32-E407 has 2 x USB-OTG both with a miniUSB interface. STM32- H407 has 1 x USB-OTG and 1 x USB-HOST with the On-The-Go interfaced by miniUSB and the HOST by USB type A connector.
The STM32-E407 is £10.00 GBP more.