Christian V King of Denmark.