NavList thread: Origins of civilian use of GPS