Trump signs executive order to revitalize US coal industry