Florida’s ‘red tide’ is killing manatees in record numbers