Shark! Officer pulls boy out of ocean before being attacked