Shark kills swimmer off Cuban coast