afled i England general sir William Codrington , som förvärfvat sig ett namn under Ivrimkriget.