Title: Spherical trigonometry for navigators