Just to be clear, had Elastic chosen to relicense Elasticsearch under AGPL, there would likely be no issue with Amazon's usage of it and I doubt Amazon would have forked it in that case.

The problem for Amazon was strictly due to SSPL, not copyleft licenses in general.