It is Game Over if AWS starts hosting IBM mainframe DB2. Most customers would happily pay a 10% premium.
In the CAP theorem context if you need CA you can't beat an IBM mainframe. IBM can also co-locate nodes of it's latest Power9/GPU supercomputer racks.