Extracting Ionospheric Measurements from GPS in the Presence of Anti-Spoofing