EC2 DNS – SSH into EC2 instances via their public hostnames