So it looks like I successfully identified these birds - confirmed by someone who knows - as red crested cardinals!