A florida airport has been officially renamed after donald trump. The airport, previously known as palm beach international airport, will still be identified by its pbi airport code for the time being. The renaming has taken effect, with the faa beginning the transition to the new name, although some details of the change are still being worked out.