Average battle length in the Spanish civil war