Question: What is the nationality of the company that designed the King Khalid International Airport?
Sentence (from "King Khalid International Airport"): King Khalid International Airport (Arabic: مطار الملك خالد الدولي; "Maṭār al-Malik Khālid al-Duwaliyy", IATA: RUH, ICAO: OERK ) is located 35 km north of Riyadh, Saudi Arabia, designed by the architectural firm HOK, and Arabian Bechtel Company Limited served as the Construction Manager on behalf of the Saudi government.
Relevant evidence: Yes