Had never heard of “mayaguez” until now. It actually happened under President Ford not Carter.