Palm Beach International Airport air traffic controllers thanked by West Palm Beach aviation students government shutdown ends.