Who was Palm Beach County's top defensive lineman in 2016?

Poll choices
Posted 3 years.