President Trump heaped praise on White House chief of staff John Kelly during a speech Tuesday, suggesting that Kelly could be spared as he continues to reshuffle his senior staff and Cabinet.

Speaking to hundreds of U.S. Marines at Miramar Air Station in San Diego, Trump said Kelly probably “likes what you do better than what he does but he’s doing a great job.”