Title: Optimizing AEGIS ship stationing for active theater missile defense