us presidents who served in world war 2