U.S. Navy brings back navigation by the stars for officers