Have dolphins ever been used in therapy for humans?