SIR Epidemics With State-Dependent Costs and ICU Constraints: A Hamilton-Jacobi Verification Argument and Dual LP Algorithms