Republicans nominate Trump during in-person roll call, after DNC went virtual – CNET