Theoretical Navigation and Nautical Astronomy