Title: spherical trigonometry with naval and military applications