anchor: The Romans called it Portus Magnus (great port), which the Ibicencos adapted to Portmany.
positive: It has been called both Portus Magnus and Portmany.
negative: It was named "Portus Magnus" by the Romans, but the Ibicencos never bothered to give it a name.