A decomposition approach for solving tri-level defender-attacker-defender problems. (March 2021)