20170511 business.international-business: Oil price jump on U.S. inventories slide boosts stocks