Trump administration hunts for ways to pay air traffic controllers