framlidne generalamiralen grefve Johan Puke.