How will mining in the US be affected by the outcome of the US election?