Source: https://www.gpsworld.com/wp-content/uploads/2018/08/GPS-World-Almanac-Aug2018.pdf