HMS SEALION, PAYING OFF 14 DECEMBER 1987 [Allocated Title]