Hero Marine ‘saved everyone,’ killed by ‘hostile employee’ at Florida pizzeria