Coal mines and mining --Government ownership --United States.