In the last few weeks of Donald Trump at the White House, the chief of the US Army General Staff, General Mark Miley, was