President Trump signs executive order to guard critical infrastructure that relies on GPS (White House)