When did William become king of England?