US forces during the Gulf War, Saudi Arabia