The engineering of large dams - Thomas, Henry H.