497,157: Number of USPS career employees in fiscal 2018