Alguns fatos são curiosos da história da ocupação do litoral do Paraná, um deles é a denominação de: Grande Mar Redondo – na língua tupi-guarani: