Filming on a real warship for "Don't Give Up the Ship" (1959)