Coaling, docking, and repairing facilities of ports of the world, with analyses of different kinds of coal. 4th edition.