In what year did the monarch whose flagship was called Griffen become king of Norway ?