US President Donald Trump hails liberation of Syria's Raqqa