Is Donald J. Trump still the commander in chief?