Ceán Bermúdez, Juan Agustín — encyclopedia article