Wife was discussing perhaps vacationing in West Palm Beach over Christmas break...pointed out to her that we'd be flying into DJT - President Donald J Trump International Airport. She immediately changed course to Ft. Lauderdale. Wonder how much money that change will cost WPB businesses.