Trump signs executive order to boost U.S. coal industry, in part to fuel artificial intelligence