— Invigningen af John Ericsson-monumentet.