No. 7 Washington Buries Miners, 9-0