Colleagues mourn doctor killed by shark