File No. 763.72111/4231
Your November 11, 4 p. m. Department’s November 10, 2 p. m., would apply as well to battleships or destroyers.