Gran caballito del diablo rojo (Pyrrhosoma nymphula)