The friction between the military and Goulart boiled over with his intervention in a revolt by sailors of the Brazilian Navy led by Anselmo dos Santos historically known as Corporal Anselmo and later exposed as an agent provocateur .