Жирухин Ив. Вас.

гидротехник, р. 1850, нач. работ по устр. СПб. порта 1902 г. {Венгеров}