Maps and charts. General catalogue of mariners' charts and books published by Hydrographic Office; corrected to July 1, 1915.