A florida airport has been renamed after trump, prompting reactions from travelers. However, the context and details of the renaming are unclear, as reports of the event are not prominent among available headlines. The available information does not provide further specifics about the airport or the renaming.