Ships of the world :an historical encyclopedia