The FBI also spied upon and collected information on Puerto Rican independence leader Pedro Albizu Campos and his Nationalist political party in the 1930s. Who released the Campos operation to the public?