Without offering details, US president thanks Riyadh for stepping in to support Syria following US military withdrawal.
