Trump spectrum sale leaves airlines with $4.5B bill for altimeter do-over