David Mangum, the owner of a fishing guide service in Santa Rosa Beach, Florida, about thirty miles west of Panama City Beach, is a native …