Latest: Officer praised in previous encounter with armed man

GREAT MILLS, Md. (AP) — The Latest on Tuesday's school shooting in Maryland (all times local):