Frederik IV (1671-1730), king of Denmark and Norway