Complete Call-by-Value Calculi of Control Operators II: Strong Termination (Logical Methods in Computer Science, 2021)