Lessons from the Short GRB 170817A: The First Gravitational-wave Detection of a Binary Neutron Star Merger: The First Gravitational-wave Detection of a Binary Neutron Star Merger