Geographic nickname of boxer Joe Walcott; he was KO'd in '52 by Rocky Marciano
You said of your shared office with... [DOC] [TLE] Rocky Marciano - Wikipedia [PAR] Rocky Marciano was an American professional boxer who competed from 1947 
to 1955, and held the world heavyweight title from 1952 to 1956.