How much revenue and gross profit will red sea report in its 2018, 2019, and 2020 income statements related to this contract,