President as commander in chief