Wcześniejsza wojna dziewięcioletnia