Question: Are Palm Springs International Airport and Provo Municipal Airport both US airports?
Context: ASTAR Air Cargo was an American cargo airline based in Miami, Florida, USA.  It operated regularly scheduled cargo charter services to as many as 34 US airports and nine international airports on behalf of DHL, as well as worldwide charter freight services.  It provided air freight services to six domestic and foreign locations for the United States Department of Defense.  Its main base was Cincinnati Northern Kentucky International Airport in Hebron, Kentucky, with hubs at Miami International Airport and Los Angeles International Airport. Provo Municipal Airport (IATA: PVU, ICAO: KPVU, FAA LID: PVU) is a public airport two miles (3 km) west of Provo, in Utah County, Utah.  The airport hosts Allegiant Air flights to four airports, one in Arizona and three in California - Phoenix/Mesa Gateway Airport, Los Angeles International Airport, San Diego International Airport and Oakland International Airport.  It is the second busiest public airport in Utah by aircraft movements, with 172,000 aircraft operations in the year ending May 2007. Hugh Michael Kaptur (born 22 May 1931) is an American architect whose practice is primarily in California's Coachella Valley.  During his fifty years as an architect, Kaptur has designed residential homes, apartment complexes, civic buildings, including two of Palm Springs' fire stations, commercial office buildings and hotels.  The bulk of his work is in the Mid-Century modern style.  He is considered a contemporary of William Cody, Donald Wexler, Richard Harrison and Howard Lapham.  He was born in Michigan where his father was a designer in the Packard and GM studios.  After his honorable discharge from the Marines, he moved to Palm Springs in 1956 where he apprenticed in the offices of Wexler and Harrison.  After being laid off, Kaptur went on his own and designed a several model homes for the Ranch Construction Company.  In 1962 he formed a partnership with licensed architect Robert Ricciardi so that he could get the commission for Palm Springs Fire Station #3.  After that partnership broke up, in 1965 he formed a company with Larry Lapham, noted architect Howard Lapham's son which was to last ten years.  His last partnership was with James Cioffi, after which he semi-retired in 1992.  Kaptur designed several notable residences, including those for Steve McQueen and William Holden; municipal buildings – Fire Station #3 and #4 in Palm Springs; apartment buildings – the Caballeros complex; and numerous commercial hotels and office buildings. The Palm Canyon Times was a bi-weekly newspaper and magazine primarily for Palm Springs, California and the adjoining cities in Palm Springs areas of the Coachella Valley.  The newspaper was named after the main valley thoroughfare called "Palm Canyon Drive" within Palm Springs.  As a community newspaper it focused on local personalities, community leaders and businesses, charitable organizations and upcoming events in the community.  The newspaper was an early supporter of the Palm Springs International Film Festival working with founder Mayor Sonny Bono and Festival Chairman, Craig Prater.  The newspaper was also a supporter of many local entertainment venues in the city promoting upcoming events and shows with pre-reviews and editorials, to maximize local support.  A free publication, the newspaper was supported by print advertising and subscriptions, with circulation in excess of 22,000 per edition, a staff of 18 part-time writers, and full-time production, circulation and graphics personnel. Alpine Air Express is an American airline based in Provo, Utah, USA.  It operates scheduled air cargo services on over 20 routes throughout Colorado, Minnesota, Montana, Nebraska, North Dakota, South Dakota and Wyoming.  Its main base is the Provo Municipal Airport. Spanish Fork-Springville Airport (FAA LID:U77) is a general aviation airport located in north Spanish Fork, Utah, United States that serves both Spanish Fork and Springville.  It is located approximately 5 mi southeast of nearby Provo Municipal Airport. Utah Lake State Park is a state park in west Provo, Utah, United States.  The park is located at the west end of Provo Center Street on the east shore of Utah Lake (the largest fresh water lake in the state) immediately northwest of the Provo Municipal Airport. Charlotte Douglas International Airport (IATA: CLT, ICAO: KCLT, FAA LID: CLT) is a joint civil-military public international airport located in Charlotte, North Carolina, United States.  Established in 1935 as Charlotte Municipal Airport, in 1954 the airport was renamed Douglas Municipal Airport after former Charlotte mayor Ben Elbert Douglas, Sr. The airport gained its current name in 1982 and, as of September 2017, it is the second largest hub for American Airlines after Dallas/Fort Worth International Airport, with service to 161 domestic and international destinations.  As of 2016 it was the 5th busiest airport in the United States, ranked by passenger traffic and aircraft movements.  It was also the 7th business airport in the world ranked by aircraft movements Charlotte is the largest airport in the United States without any nonstop service to Asia.  The airport serves as a major gateway to the Caribbean Islands.  CLT covers 5,558 acres (2,249 ha) of land. Palm Springs International Film Festival is a film festival held in Palm Springs, California.  Originally promoted by Mayor Sonny Bono and then sponsored by Nortel Networks Corporation, it started in 1989 and is held annually in January.  It is run by the Palm Springs International Film Society, which also runs the Palm Springs International Festival of Short Films (ShortFest), a festival of short films and film market in June. Palm Springs International Airport (IATA: PSP, ICAO: KPSP, FAA LID: PSP) , formerly Palm Springs Municipal Airport, is a public airport two miles (3 km) east of downtown Palm Springs, California.  The airport covers 940 acre and has two runways.  The airport is highly seasonal, with most flights operating during the winter.
Answer: yes