J. Velasco y J. Vallejo. "Batalla de Tetuán"