Photos: Gargantuan gator found in Texas marina