Diego Rodriguez de Silva Velasquez (1599-1660) automatic translate