$3.1 million proposed to settle 2017 spill in Gulf of Mexico