An Episode from the Battle of Tetuán