Randy Atkins, the chairman and chief executive of Ramaco, said adding new mines was possible if Trump’s U.S. infrastructure push succeeds but would depend on whether additional investors flock in to fund them.