Trump says he'd rather die by electrocution than get eaten by a shark