The original two WAAS satellites, named "Pacific Ocean Region" (POR) and "Atlantic Ocean Region-West" (AOR-W), were leased space on Inmarsat III satellites. These satellites ceased WAAS transmissions on July 31, 2007. With the end of the Inmarsat lease approaching, two new satellites (Galaxy 15 and Anik F1R) were launched in late 2005. Galaxy 15 is a PanAmSat, and Anik F1R is a Telesat. As with the previous satellites, these are leased services under the FAA's Geostationary Satellite Communications Control Segment contract with Lockheed Martin for WAAS geostationary satellite leased services, who were contracted to provide up to three satellites through the year 2016.