Trichotichnus (Pseudotrichotichnus) globulipennis