634,447: Total number of USPS employees in fiscal 2018