A key Pentagon official said on Wednesday he would leave his post at President Donald Trump’s request, according to a copy of his resignation letter obtained by Reuters, after a battle between government officials over a bid to crack down on exports to China’s Huawei Technologies Co Ltd.