IDENTIFICATION MARKING PAINTS CHARACTERIZED BY THE ABILITY TO PENETRATE A PROTECTIVE PAINT COATING APPLIED OVER IT, THINNERS THEREFOR, AND MASKING PAINTS THAT STOP PENETRANT ACTION OF THE MARKING PAINTS