Origin of the name Muirchertach

Means "mariner" in Gaelic. This was the name of a 6th-century Irish high king.