Drivers in the U.S. are facing rising gasoline prices ahead of summer-vacation season, just as refiners here are shipping more gas to other countries, the Wall Street Journal reports.