HMS JUPITER ENTERS PORTSMOUTH; HMS ARIADNE PAYS OFF [Allocated Title]