They should be sold to pay down the debt...who would complain?
The King might think it was rude, and even the Saudis don’t have enough money to put much of a dent in the $20T debt that Obama piled on our children.