Havel - How to pronounce Havel in Portuguese

Which Pronunciation of Havel sounds correct?