They should report it to the nearest U.S. embassy or U.S. consulate immediately.

They should apply for a boarding foil to return to the U.S. legally.

They should file Form I-90 once they return to replace the lost card.