DOJ employees not required to get vaccine, but the agency can ask if they have or not