Royal Netherlands Navy's Walrus class HNLMS Zeeleeuw (S-803), HNLMS Dolfijn (S-808) & HNLMS Walrus (S-802)