So, seems no one has said yet, but the common names for those species are purple finch and house finch, not "purple house finch/common house finch". Together with Cassin's finch, they are collectively known as the American rosefinches.