Muere Mike Mitchell, conocido por actuar en “Gladiador”