west lake park — gator or croc?

saw this beauty in the lake at west lake park yesterday — seems it has made its home there! met another local at the park about a week ago who showed me a pic of the animal in question (don’t have it myself). my friend then sent me the second photo, which he took in 2023. the question remains — gator or croc? my instincts say croc, but discuss…