Pregunte y le dirán quién es el general Diego Bermúdez.