GPS timing

Redirect to:

• Radio clock#GPS clocks