البحرية الهولندية, التاريخ, الحرب الباردة, الحرب العالمية الثانية, السفن الحربيةسفينة جلالة الملك دي زيفن بروفينسين (C802) (HNLMS De Zeven Provinciën (C802))