Which law was intended to allow the president to use the U.S. military to enforce federal law?