Task: Text to Code
Input (English): select the row whose launched record of all rows is minimum . the ship name record of this row is brp pangasinan .
Output (English): eq { hop { argmin { all_rows ; launched } ; ship name } ; brp pangasinan }