A florida airport has been officially renamed after donald j. trump, prompting mixed reactions from travelers. some travelers have expressed support for the name change, while others have voiced opposition. the renaming of the airport, previously known as palm beach international airport, has generated a range of opinions among those using the facility.