Before the month ended, the Korean War broke out, and "General H. W. Butner" was one of the handful of ships immediately available.
Before the month ended, the Korean War broke out. Fortunately, "General H. W. Butner" was one of the handful of ships immediately available.