The encyclopedia of the world's warships: A technical directory of major fighting ships from 1900 to the present day