Fix(aws): Correct docker push target

Author: klieret

aws/setup/docker/build_and_push_all.sh

@@ -17,4 +17,4 @@ GAMES_DOCKER_DIR="$THIS_DIR/../../../docker"
 "$BUILD_SCRIPT" "$GAMES_DOCKER_DIR/HuskyBench.Dockerfile" codeclash/huskybench "$GAMES_DOCKER_DIR"
 "$BUILD_SCRIPT" "$GAMES_DOCKER_DIR/RoboCode.Dockerfile" codeclash/robocode "$GAMES_DOCKER_DIR"
 "$BUILD_SCRIPT" "$GAMES_DOCKER_DIR/RobotRumble.Dockerfile" codeclash/robotrumble "$GAMES_DOCKER_DIR"
-"$BUILD_SCRIPT" "$GAMES_DOCKER_DIR/Halite.Dockerfile" codeclash/robotrumble "$GAMES_DOCKER_DIR"
+"$BUILD_SCRIPT" "$GAMES_DOCKER_DIR/Halite.Dockerfile" codeclash/halite "$GAMES_DOCKER_DIR"