ExCTGuyInTX : They are around, but that is a stock photo, definitely not in Galveston.
@buffaloglenn : I was thinking the same.
I think the sharks we have in Galveston that people like to call hammerheads are actually called bonnet head sharks.
There are literally tons of them, if you go fishing of the pier in the spring you'll catch baby ones all day long.
They look more like this.