17th–18th century instrument using mirrors for celestial navigation, esp. to solve the problem of the longitude