Is That a Real Name?

A family from my childhood could go one step further. There was a guy who worked at the local pit with my dad called David. His eldest daughter was also named after him. Want to guess what her name was? What? He's called David and he's eldest daughter'snamed after him. If you do happen to read this, I'll please keep me anonymous. Always.