TALLAHASSEE — After President Trump on Monday issued an executive order to rename the Gulf of Mexico ... state's critically eroded beaches fronting the Atlantic Ocean, Gulf of Mexico, and ...