US President Donald Trump says Saudi king agrees to ramp up oil production