There's a potential problem here in that All Aboard Florida's forthcoming downtown Miami station is also going to be called Miami Central Station (technically MiamiCentral Station, so no space, but...) linky, though lots of WP:RS links abound if you Google I also believe that the Miami Central Station name in this article's instance only refers to the train bit of the overall complex. So... we probably need to rethink the name again.