Redistribute default route into OSPF on HPE 8212zl

Hi, we have two HPE 8212zl that both run OSPF and both have their own internet connection and a default route that points to that connection.

I am trying to add some redundancy in so when the internet connection that is connected to one of the 8212zl's goes down it will fail over to the default route on the other 8212zl.

How can I do that? I tried router ospf redistribute static but when I do a show ip route ospf on the other switch that static default route doesn't show (I created anther route recently and it showed up straight away so I know that OSPF is working with adding new routes).

I have tried looking in the manual but haven't been able to find the command to put the default route into OSPF.

Any help would be great.