Four NFL'ers who might survive a shark attack