Should federal employees get hazard pay during the pandemic?