Cerball mac Muirecáin — Irish king