Trump would have done it if he thought he had enough generals.