NavList thread: What brand of box sextant is this?