513. What are the area water spray system covers in gas carrier ships?