[2408.16733] Erdős-Pósa property of tripods in directed graphs