The Ponce massacre, 1937