Maanmittauslaitoksen mukaan tämä on Mäntysaari:

https://paikkatietojentuottajat-koekaytto.maanmittauslaitos.fi/tietokortit/nimisto/paikka/10716646

Myöskään tuolle Muurahaissaarelle en ole löytänyt mitään lähdettä muuta kuin Google Maps (jolloin joku on ehkä saattanut kopioida nimen siitä). Vanhoilla kartoilla (mm. vn 1963 peruskartalla) nimenä on Hiekkaranta