A florida airport, previously known as palm beach international airport, has been renamed donald j. trump international airport. The renaming appears to be in effect, with the faa beginning the transition and travelers reacting to the change. The impact and details of the rebranding are being reported, including what changes are taking place at the airport.