The US air traffic control system is stretched thin, with many controllers working mandatory overtime.