Византийский историк Проко́пий Кесари́йский рассказывает, что император Юстиниан приказал поймать Порфи́рия, терроризировавшего рыбаков и торговцев в проливе Босфор, но дело не увенчалось успехом. В каком романе 1851 года упоминается история о Порфирии?