Navigation and nautical astronomy