A florida airport, previously known as palm beach international, has been officially renamed donald j. trump international airport. The change is now in effect, although some aspects, such as the airport code, may remain the same for the time being. The impact of the name change on travelers and the airport's operations is being reported on, with various details still being clarified.