Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge (Logical Methods in Computer Science, 2005)