Notwithstanding the provisions of Sec. 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.