What man served in the United States Navy in World War II, who's mother was born and raised in Dublin, Ireland?