When a ship is taken out of service, it is