20170802 business.international-business: Sean Spicer still plans to leave White House; official says