Notwithstanding the provisions of § 725.603, if an operator or other employer or its officers or agents fails to comply with an order awarding benefits that has become final, any beneficiary of such award or the district director may apply for the enforcement of the order to the Federal district court for the judicial district in which the injury occurred (or to the U.S. District Court for the District of Columbia if the injury occurred in the District). If the court determines that the order was made and served in accordance with law, and that such operator or other employer or its officers or agents have failed to comply therewith, the court shall enforce obedience to the order by writ of injunction or by other proper process, mandatory or otherwise, to enjoin upon such operator or other employer and its officers or agents compliance with the order.