Minne HMS Pretoria Castle myytiin sodan jälkeen?