Iron Mike

== English == === Proper noun === Iron Mike Nickname for various monuments commemorating servicemen of the United States military. === Noun === Iron Mike (plural Iron Mikes) (slang, nautical) A gyrocompass. (slang, nautical) An autopilot system. (slang, baseball) A machine for pitching baseballs for practise purposes. A military exercise with lunging and jumping motions.