NavList thread: Cosine formula to solve a right spherical triangle?