Which US state has the shortest Atlantic coastline, at only about 13 miles long?