Contrary to popular belief, the first ironclad warships were built by Korea in the 16th century.