batalla de mansura