There is a possibility that the agent can generalize to land in an arbitrary goal region if the goal region is varied at the start of each training episode. If the locations of the goal region and agent are provided in the observation or if the function approximator (e.g. convolutional neural network) is powerful enough to identify these objects, then the agent will be forced to learn that a high reward comes from landing in the goal region and vice versa (it is unable to memorize a single trajectory for a fixed goal region). From my past experience training on this environment, I think the possibility of successful generalization is quite good.
In the seminal work on generalization for deep reinforcement learning (link), there were many experiments performed to understand the effect of algorithmic additions on generalization, as follows:
- Increasing the number of training levels improved generalization. Surprisingly, agents were shown to overfit to a large number of training levels.
- Larger neural networks improved generalization at the expense of extra training time.
- Regularization methods such as L2 regularization, dropout, data augmentation, and batch normalization improved generalization.
- Adding stochasticity to the environment or the agent's policy produced a greater improvement than any of the regularization methods in the previous bullet point.
To help answer your second question, another work (link) determined that vanilla reinforcement learning algorithms such as A2C and PPO performed better than some other reinforcement learning algorithms specifically constructed to tackle the problem of generalization. I suggest first experimenting with some of the algorithmic additions mentioned above since many are fairly simple to implement. If those do not suffice, then I recommend scanning the literature for novel algorithms that have been developed since those two papers were written (2018) that aim to overcome the problem of generalization.