What is the most populous US city within 100 miles of the Gulf of Mexico?

Within its city limits, Miami, Florida, is by far the most populated Gulf Coast city with a population of more than 408,000 at last census (2011).