20180701 world.middle-east: Trump says Saudi king agrees to ramp up oil production