Frederick V of Denmark — king of Denmark and Norway