S.Korea lays to rest marines killed in N.Korea attack