Shark attack: Man killed at Cable Beach