Gov. Ron DeSantis may have been the first official to use President's Trump's new name for the Gulf of Mexico in an official capacity.

During a long and rambling speech Tuesday that included his plans to impose tariffs on Mexico and Canada ... between Mexico and Cuba. The Gulf has an average depth of 5,300 feet.