After John McCain’s death, the White House flag flew at full mast