And from the same page:
To decommission a ship is to terminate its career in service in the
armed forces of a nation. Unlike wartime ship losses, in which a
vessel lost to enemy action is said to be struck, decommissioning
confers that the ship has reached the end of its usable life and is
being retired from a given country's navy. Depending on the naval
traditions of the country in question, a ceremony commemorating the
decommissioning of the ship in question may take place, or the
vessel may be removed administratively with little to no fanfare.
-> The term "paid off" is alternately used in British Commonwealth
contexts, originating in the age-of-sail practice of ending an
officer's commission and paying crew wages once the ship completed
its voyage.
--
Peter Duncanson, UK
(in alt.usage.english)