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