20180716 business.international-business: It's not imagination. Airline restrooms are getting smaller