An Overview of Warships Damage Data from 1967 to 2013