migrate: "Dev1ApplicationStackStack could not be generated because LocalIpv4NetworkCidr is not a valid property for resource VPNConnection of type AWS::EC2::VPNConnection"

### Describe the bug

See error above.

The property in question is in the CF documentation: https://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-vpnconnection.html and in the L1 construct https://docs.aws.amazon.com/cdk/api/v2/docs/aws-cdk-lib.aws_ec2.CfnVPNConnection.html. However, it looks like you depend on a library cdklabs/cdk-from-cfn which does not have the property in its https://github.com/cdklabs/cdk-from-cfn/blob/main/src/specification/cdk-resources.json file.

### Regression Issue

- [ ] Select this option if this issue appears to be a regression.

### Last Known Working CDK Version

_No response_

### Expected Behavior

Migration occurs

### Current Behavior

Dev1ApplicationStackStack could not be generated because LocalIpv4NetworkCidr is not a valid property for resource VPNConnection of type AWS::EC2::VPNConnection
[12:16:45] Error: Dev1ApplicationStackStack could not be generated because LocalIpv4NetworkCidr is not a valid property for resource VPNConnection of type AWS::EC2::VPNConnection
at generateStack (/usr/lib/node_modules/aws-cdk/lib/index.js:471:151618)
at CdkToolkit.migrate (/usr/lib/node_modules/aws-cdk/lib/index.js:473:4355)
at process.processTicksAndRejections (node:internal/process/task_queues:95:5)
at async exec4 (/usr/lib/node_modules/aws-cdk/lib/index.js:526:54490)

### Reproduction Steps

cdk migrate on a stack that includes a VPN Connection

### Possible Solution

_No response_

### Additional Information/Context

_No response_

### CDK CLI Version

2.160.0

### Framework Version

_No response_

### Node.js Version

v18.20.4

### OS

Ubuntu

### Language

TypeScript

### Language Version

_No response_

### Other information

_No response_