That giant fish you saw jump was a carp, they are all over the pond and flipping out right now. There are bass, sunfish, and crappie in the pond as well. Never heard of anyone getting in trouble for fishing there, although it is a hang out at night sometimes for teenagers. Cleaned up around the pond for a school project 2 weeks ago and came up with a ton of beer cans and bottles.
I've caught bass there on senkos, tubes, and other plastics. Always near lay downs or stick ups.