Federal employees already do not have the right to strike, see 5 U.S.C. §7311.