Why the military side of GPS does not use GR corrections,
but the civilian side does? Is it because GPS serves positions
more accurately without the GR correction offsets?