Greg O’Neill, 63, killed by shark at Sorrento Beach. Community mourns as authorities issue rare kill order for great white shark involved.