So... what happens if one NATO member invades another?