Diplocoenia picteti Koby 1895 (stony coral)