Edoardo Mangiarotti: 13 medaglie olimpiche tra il 1936 e il 1960