Explanation

The Theodore Roosevelt is the specific aircraft carrier that arrived in South Korea on June 22, 2024. Franklin is a different name and was not the ship involved. Independence is another named carrier but it was not the one mentioned for this date. John F. Kennedy is also a carrier name but it was not the vessel in question.