GPS is more fragile than most people realize, and the Army just spent $11M on a backup — type0 | type0