A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas