handheld GPS receiver used by the United States Department of Defense and select foreign military services