Amsterdam, Nieuwe Kerk, grafstede van Michiel de Ruyter, admiraal enz.