Magnus V of Norway — king of Norway