Tiphys ornatus Koch, 1836