A Florida congressman is working to rename Washington, D.C.’s commuter rail system for President Donald Trump.

The coalition behind the lawsuit challenging Trump welcomed the ruling and slammed the assault on the federal workforce.