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.
@ZMAN : I caught one of those many years ago off the pier. Thought it was a hammerhead as well. Now I know!