Halvorsen: Stage Music, Vol. 2: The King / Vasantasena / Tordenskjold