WASHINGTON (Reuters) – U.S. coal mining companies are worried President Donald Trump’s intensifying trade dispute with China could hurt their booming export business, one of the ailing sector’s most important lifelines, according to industry players.