dry dock [= graving dock; graven dock]