Проект первого русского сухого дока, предложенный Петром I, предполагал, что вода будет поступать и выводиться из дока без использования насосов. По одной из версий, о строительных работах в этом доке повествует известное произведение. Какое?