Panama invasion precedent