Interestingly if I remember correctly they have different origins, Maria is a biblical name, while Mario comes from Latin (which can decline Marius to Maria, but that’s a different word)