In the late 40's and early 50's we ate tons of these things because they were easy to trap in gill nets. They are bony for sure but taste very good. There are people on YouTube that show how to filet the carp so you can ignore the bones. Currently carp are an infestation of Oklahoma streams and lakes.
I fished the Neosho and Grand Lake for years but haven't been in that area for 50 years. The low water damn in Miami Oklahoma was the spot to snag spoon bill cats.
I will agree that asian carp in North American waters are a curse. The bigheads are a minor nuisance compared to the silvers (the jumping kind).
The man responsible for bringing those vermin to the US should have his huevos crushed in a vise. It’s not much fun getting clocked by one of those things when you’re out for a boat ride on the river, not to mention the slime and disgusting green stuff they puke up while flopping around on the deck.
I'd be curious to know what pound test line that kid was using. Gotta let that fish run (drag) and tire out in order to catch it.