3/5 Marines took the Punchbowl in November, 1951