[Orden de Felipe IV a Diego de la Rocha para que mande las compañías de infantería que se están formando en Sevilla, Constantina, Cazalla y Alanis, 1625, jun. 4, en Gibraltar]