A White House spokeswoman declined to comment.

The United States and Saudi Arabia have been allies since the kingdom was formed in 1932, giving Riyadh a powerful military protector and Washington secure oil supplies.