Trump Thanks Saudis for Tamping Down World Oil Prices