Lucas Jiménez

Lucas Jiménez was Mayor of Ponce, Puerto Rico, from 4 July 1879 to 30 April 1880. He was a Spanish soldier with the rank of colonel.