Jerónimo de Azevedo — Colonial governor of Ceylon