A writ of mandamus shall issue from a court of competent jurisdiction to compel the commission to apply revenue in accordance with the terms of a contract with the United States, and an injunction may be issued to restrain the commission from violating the provisions of a contract with the United States.
Tex. Water Code § 63.180