Title: Unsettled Topics in the Application of Satellite Navigation to Air Traffic Management