8,400: Number of USPS-owned properties in fiscal 2017